substitute a given value for x